REF, NoConds
Unfold `$ab` $hyp == Unfold `$ab` ( $hyp) 

latex

Up	Tactics as terms
FDL editor aliases	-unf